Handbook of Satisfiability (2021)
iospress.com·3h·
Discuss: Hacker News
🎯Constraint Programming
Flag this post
Entropy in algorithm analysis
11011110.github.io·17h
🎲Probabilistic Programming
Flag this post
AI and the Power of Nonuniform Circuits
blog.computationalcomplexity.org·3d·
Discuss: blog.computationalcomplexity.org
🧭SMT Solvers
Flag this post
Superhuman AI for Multiplayer Poker
science.org·17h·
Discuss: Hacker News
⚖Algorithmic Game Theory
Flag this post
Inverse shortest paths in directed acyclic graphs
reddit.com·12h·
Discuss: r/compsci
🕸️Graph Theory
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
jneurosci.org·52m·
Discuss: Hacker News
🎲Probabilistic Programming
Flag this post
Cells, Queries, and Chaos: The Game of Life in SQL!
dev.to·1h·
Discuss: DEV
🧫Cellular Automata
Flag this post
Are Large Reasoning Models Interruptible?
paperium.net·17h·
Discuss: DEV
🧭SMT Solvers
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·5h·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
Properties and Applications of Partially Deterministic Polytopes
arxiv.org·3d
🔐Cryptography
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·1d·
Discuss: Hacker News
🤝Protocol Design
Flag this post
This is a description of a test for markov chain program in a book I'm reading...
reddit.com·6h·
Discuss: r/AskProgramming
🎲Probabilistic Programming
Flag this post
Machine Scheduler in LLVM – Part II
myhsu.xyz·9h·
Discuss: Hacker News
🏗Computer Architecture
Flag this post
When Five Dumb AIs Beat One Smart AI: The Case for Multi-Agent Systems
ksramalakshmi.medium.com·4h·
Discuss: r/LocalLLaMA
🧩Theorem Proving
Flag this post
A unified threshold-constrained optimization framework for consistent and interpretable cross-machine condition monitoring
sciencedirect.com·18h
🎲Probabilistic Programming
Flag this post
Principles of Epistemology (2025, essay)
alexpeek.org·16h·
Discuss: Hacker News
🔢Mathematical Logic
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1d·
Discuss: Hacker News
🏗Computer Architecture
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·4h·
Discuss: Substack
🎲Probabilistic Programming
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
intuitmachine.medium.com·1d·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·2d·
Discuss: Hacker News
🎲Probabilistic Programming
Flag this post